Results for 'René van den Driessche'

1000+ found
Order:
  1. Sur le "De syllogismo hypothetico" de Boèce.René van den Driessche - 1949 - Milano: Editrice La Fiaccola.
     
    Export citation  
     
    Bookmark  
  2.  9
    Digraph Competitions and Cooperative Games.René van den Brink & Peter Borm - 2002 - Theory and Decision 53 (4):327-342.
    Digraph games are cooperative TU-games associated to domination structures which can be modeled by directed graphs. Examples come from sports competitions or from simple majority win digraphs corresponding to preference profiles in social choice theory. The Shapley value, core, marginal vectors and selectope vectors of digraph games are characterized in terms of so-called simple score vectors. A general characterization of the class of (almost positive) TU-games where each selectope vector is a marginal vector is provided in terms of game semi-circuits. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  5
    Overzicht van het Belgische politiek gebeuren in 1990.Reinoud D'Haese & Pol Van Den Driessche - 1991 - Res Publica 33 (3-4):378-395.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  5
    Overzicht van het Belgische politiek gebeuren in 1990.Reinoud D'Haese & Pol Van Den Driessche - 1991 - Res Publica 33 (3-4):374-395.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  6
    L'altérité: fondement de la personne humaine dans l'œuvre d'Edith Stein.Thibault van den Driessche - 2008 - Dudley, MA: Peeters.
    Dans l'oeuvre d'Edith Stein, l'alterite apparait comme constitutive de la personne humaine. D'un point de vue proprement subjectif, l'alterite renvoie... l'alter ego,... la dimension communautaire et, dans une perspective croyante, au Tout-Autre. D'un point de vue objectif, elle designe les valeurs, qui faconnent la personnalite, et la foi, qui vient au secours de la raison humaine. Un parcours des oeuvres principales de l'auteur permet de prendre la mesure... la fois de la continuite et de l'evolution de sa pensee. A partir (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  22
    From dignity to security protocols: a scientometric analysis of digital ethics.René Mahieu, Nees Jan van Eck, David van Putten & Jeroen van den Hoven - 2018 - Ethics and Information Technology 20 (3):175-187.
    Our lives are increasingly intertwined with the digital realm, and with new technology, new ethical problems emerge. The academic field that addresses these problems—which we tentatively call ‘digital ethics’—can be an important intellectual resource for policy making and regulation. This is why it is important to understand how the new ethical challenges of a digital society are being met by academic research. We have undertaken a scientometric analysis to arrive at a better understanding of the nature, scope and dynamics of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  29
    Consistency, population solidarity, and egalitarian solutions for TU-games.René van den Brink, Youngsub Chun, Yukihiko Funaki & Boram Park - 2016 - Theory and Decision 81 (3):427-447.
    A solution for cooperative games with transferable utility, or simply TU-games, assigns a payoff vector to every TU-game. In this paper we discuss two classes of equal surplus sharing solutions. The first class consists of all convex combinations of the equal division solution and the center-of-gravity of the imputation-set value. The second class is the dual class consisting of all convex combinations of the equal division solution and the egalitarian non-separable contribution value. We provide characterizations of the two classes of (...)
    No categories
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  71
    Axiomatizations of a Class of Equal Surplus Sharing Solutions for TU-Games.René van den Brink & Yukihiko Funaki - 2009 - Theory and Decision 67 (3):303-340.
    A situation, in which a finite set of players can obtain certain payoffs by cooperation can be described by a cooperative game with transferable utility, or simply a TU-game. A (point-valued) solution for TU-games assigns a payoff distribution to every TU-game. In this article we discuss a class of equal surplus sharing solutions consisting of all convex combinations of the CIS-value, the ENSC-value and the equal division solution. We provide several characterizations of this class of solutions on variable and fixed (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9. Characterizations of the β- and the Degree Network Power Measure.René Van Den Brink, Peter Borm, Ruud Hendrickx & Guillermo Owen - 2008 - Theory and Decision 64 (4):519-536.
    A symmetric network consists of a set of positions and a set of bilateral links between these positions. For every symmetric network we define a cooperative transferable utility game that measures the “power” of each coalition of positions in the network. Applying the Shapley value to this game yields a network power measure, the β-measure, which reflects the power of the individual positions in the network. Applying this power distribution method iteratively yields a limit distribution, which turns out to be (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  98
    Digraph Competitions and Cooperative Games.René van Den Brink & Peter Borm - 2002 - Theory and Decision 53 (4):327-342.
    Digraph games are cooperative TU-games associated to domination structures which can be modeled by directed graphs. Examples come from sports competitions or from simple majority win digraphs corresponding to preference profiles in social choice theory. The Shapley value, core, marginal vectors and selectope vectors of digraph games are characterized in terms of so-called simple score vectors. A general characterization of the class of (almost positive) TU-games where each selectope vector is a marginal vector is provided in terms of game semi-circuits. (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  88
    Internal slackening scoring methods.Marco Slikker, Peter Borm & René van den Brink - 2012 - Theory and Decision 72 (4):445-462.
    We deal with the ranking problem of the nodes in a directed graph. The bilateral relationships specified by a directed graph may reflect the outcomes of a sport competition, the mutual reference structure between websites, or a group preference structure over alternatives. We introduce a class of scoring methods for directed graphs, indexed by a single nonnegative parameter α. This parameter reflects the internal slackening of a node within an underlying iterative process. The class of so-called internal slackening scoring methods, (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  12.  17
    Review: Rene van den Driessche, Sur le "De Syllogismo Hypothetico" de Boece. [REVIEW]Benson Mates - 1951 - Journal of Symbolic Logic 16 (2):150-150.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  11
    Sharing the surplus and proportional values.Yukihiko Funaki, René van den Brink & Zhengxing Zou - 2021 - Theory and Decision 93 (1):185-217.
    We introduce a family of proportional surplus division values for TU-games. Each value first assigns to each player a compromise between her stand-alone worth and the average stand-alone worths over all players, and then allocates the remaining worth among the players in proportion to their stand-alone worths. This family contains the proportional division value and the new egalitarian proportional surplus division value as two special cases. We provide characterizations for this family of values, as well as for each single value (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  24
    van den Driessche René. Sur le “De syllogismo hypothetico” de Boèce. Methodos, vol. 1 , pp. 293–307.Benson Mates - 1951 - Journal of Symbolic Logic 16 (2):150-150.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Games with a local permission structure: separation of authority and value generation. [REVIEW]René van den Brink & Chris Dietz - 2014 - Theory and Decision 76 (3):343-361.
    It is known that peer group games are a special class of games with a permission structure. However, peer group games are also a special class of digraph games. To be specific, they are digraph games in which the digraph is the transitive closure of a rooted tree. In this paper we first argue that some known results on solutions for peer group games hold more general for digraph games. Second, we generalize both digraph games as well as games with (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  16.  46
    Axiomatization of a class of share functions for n-person games.Gerard van Der Laan & René van Den Brink - 1998 - Theory and Decision 44 (2):117-148.
    The Shapley value is the unique value defined on the class of cooperative games in characteristic function form which satisfies certain intuitively reasonable axioms. Alternatively, the Banzhaf value is the unique value satisfying a different set of axioms. The main drawback of the latter value is that it does not satisfy the efficiency axiom, so that the sum of the values assigned to the players does not need to be equal to the worth of the grand coalition. By definition, the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  65
    A Banzhaf share function for cooperative games in coalition structure.Gerard van Der Laan & René van Den Brink - 2002 - Theory and Decision 53 (1):61-86.
    A cooperative game with transferable utility–or simply a TU-game– describes a situation in which players can obtain certain payoffs by cooperation. A value function for these games assigns to every TU-game a distribution of payoffs over the players. Well-known solutions for TU-games are the Shapley and the Banzhaf value. An alternative type of solution is the concept of share function, which assigns to every player in a TU-game its share in the worth of the grand coalition. In this paper we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  12
    René van Woudenberg, Toeval en ontwerp in de wereld. Apologetische analyses. Budel 2003: Damon. ISBN 9055734497.A. van den Beukel - 2004 - Philosophia Reformata 69 (2):204-206.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  29
    Non-causal Explanations in the Humanities: Some Examples.Roland den Boef & René van Woudenberg - forthcoming - Foundations of Science:1-18.
    The humanistic disciplines aim to offer explanations of a wide variety of phenomena. Philosophical theories of explanation have focused mostly on explanations in the natural sciences; a much discussed theory of explanation is the causal theory of explanation. Recently it has come to be recognized that the sciences sometimes offer respectable explanations that are non-causal. This paper broadens the discussion by discussing explanations that are offered in the fields of history, linguistics, literary theory, and archaeology that do not seem to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  40
    Deontic logic and computer-supported computer ethics.Jeroen Van Den Hoven & Gert-Jan Lokhorst - 2002 - In James Moor & Terrell Ward Bynum (eds.), Cyberphilosophy: the intersection of philosophy and computing. Malden, MA: Blackwell. pp. 376-386.
  21. Gendered and Embodied Un/learning among Women Disengaging from Faith in the UK and Finland.Nella van den Brandt & Teija Rantala - 2024 - Approaching Religion 14 (2):224-239.
    Women often embody the central values and practices of their religious tradition. When they leave their community, women find a part of the “religious tapestry” remaining with them long after their disengagement. In this article, we draw from research in the UK and Finland to explore women’s efforts to unlearn parts of their former religious belonging. We draw on in total thirty-five interviews with women who disengaged from the Mormon Church, Jehovah’s Witnesses and Conservative Laestadianism. We conceptualize un/learning as a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  11
    Vladimir Solov'ëv: reconciler and polemicist ; selected papers of the International Vladimir Solov'ëv Conference held at the University of Nijmegen, the Netherlands, in September 1998.William Peter van den Bercken, Manon de Courten, W. Van den Bercken & Evert van der Zweerde (eds.) - 2000 - Sterling, Va.: Peeters.
    Vladimir Solov'ev (1853-1900- is regarded as the most original and systematic of the Russian philosophers in the 19th century. He has once again become the subject of international scholarly attention both in Slavic countries and the West. This volume contains selected papers presented at the international conference on Vladimir Solov'ev held at Nijmegen University, the Netherlands, in September 1998. The scope of this conference was wide-ranging, dealing with theological, metaphysical, philosophical and historical themes. Though Solov'ev's broad intellectual activity defies any (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  8
    Denken over kunst: een inleiding in de kunstfilosofie.Antoon A. Van den Braembussche - 2000 - Bussum: Coutinho.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  13
    Can the Precariat Be Organized?: The Gig Economy, Worksite Dispersion, and the Challenge of Mutual Aid.Georges Van Den Abbeele - 2022 - Telos: Critical Theory of the Contemporary 2022 (198):67-89.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  15
    Richard Dagger: Civic Virtues. Rights, Citizenship and Republican Liberalism.Bert van den Brink - 1999 - Ethical Theory and Moral Practice 2 (1):67-69.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  26.  14
    Conflict.Bert Van Den Brink - 2005 - Krisis 6 (4):57-60.
  27.  42
    Letter en geest in de machine.Marianne van den Boomen - 2006 - Krisis 7 (1):71-79.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  7
    Rechtvaardigheid en privaatrecht: over rekkelijken en preciezen in een dynamische wereld.P. G. J. Van den Berg - 2000 - Deventer: Gouda Quint.
  29.  33
    Moral Incapacities.Ton van den Beld - 1997 - Philosophy 72 (282):525-.
    There has been a time in my teaching career that I used to cite in my introductory classes ‘Moral Philosophy’ from Erica Jong's Fear of Flying . The situation leading up to the quote is that the main character, Isadora, is asked a sexual favour by her brother in law, Pierre. Her answer and the subsequent dialogue read then as follows: ‘I can't’ , I said. ‘Come on,’ Pierre said, ‘I'll teach you.’ ‘I didn't mean that … I meant that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  6
    Herman Daly's Economics for a Full World: His Life and Ideas by Peter Victor (review).Jeroen Van Den Bergh - 2023 - Ethics and the Environment 28 (2):117-125.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Herman Daly’s Economics for a Full World: His Life and Ideas by Peter VictorJeroen Van Den Bergh (bio)Victor, Peter (2022). Herman Daly’s Economics for a Full World: His Life and Ideas. Routledge, Oxon UK and New York USA (ISBN: 978–0–367-55694-5).Herman Daly (1938–2022) spent a lifetime thinking about how to achieve a sustainable economy. In an inclusive biography, Canadian economist and environmental scientist Peter Victor discusses his ideas, critiques (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  4
    Manifeste--Intentionalität.Hubert van den Berg & Ralf Grüttemeier (eds.) - 1998 - Atlanta, Ga.: Rodopi.
    Dem hier präsentierten Band liegt die These zugrunde, daß die Anfänge der Praxis, kunstprogrammatische Texte als Manifest zu bezeichnen, und die anschließende Hoch-konjunktur in der avantgardistischen Nomenklatur vor dem Hintergrund der problematisch gewordenen Intentionalität im Dreieck Künstler, Kunstwerk und Publikum gesehen werden muß. Den Beleg dafür tritt der vorliegende Band von drei Ansätzen aus an: Interpretation, Funktionalität und Strategie. Dabei wird ein Korpus aus verschiedenen Kunstsparten behandelt, das von literarischen Deklarationen der russischen Moderne ab 1893 bis zu postmodernen Manifesten reicht, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Kant on Vital Forces: Metaphysical concerns versus Scientific Practice.Hein van den Berg - 2009 - In Ernst-Otto Jan Onnasch (ed.), Kants Philosophie der Natur: Ihre Entwicklung Im Opus Postumum Und Ihre Wirkung. Walter de Gruyter. pp. 115-135.
  33. Playing the role of facilitator : questioning the curious mind.Jos van den Broek - 2019 - In Jan Visser & Muriel Visser (eds.), Seeking Understanding: The Lifelong Pursuit to Build the Scientific Mind. Boston: Brill | Sense.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  18
    Agents and Artificial Intelligence.Jasper van den Herik, A. Rocha & J. Filipe (eds.) - 2017 - Springer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  7
    Bonhoeffer’s Christocentric Theology and Fundamental Debates in Environmental Ethics.Steven C. Van den Heuvel - 2017 - Eugene, Oregon: Pickwick Publications.
    There is widespread understanding of the close connection between religion and the ecological crisis, and that in order to amend this crisis, theological resources are needed. This monograph seeks to contribute to this endeavor by engaging the theology of Dietrich Bonhoeffer. His theology is particularly suitable in this context, due to its open-ended nature, and to the prophetic and radical nature of the questions he was prepared to ask--that is why there are many other attempts to contextualize Bonhoeffer's theology in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  20
    Arthur Danto, the End of Art, and the Philosophical View of History.Chiel van den Akker - 2019 - Journal of the Philosophy of History 13 (2):235-256.
    This essay takes Arthur Danto’s end-of-art thesis as a case in point of a substantive philosophy of history. Such philosophy explains the direction that art has taken and why that direction could not have been different. Danto never scrutinized the philosophy of history that his end-of-art thesis presumes. I aim to do that by drawing a distinction between what I refer to as the common view of history and the philosophical view of history, and by arguing that we need the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37. Interfaces between science and policy for environmental governance : lessons and open questions from the European platform for biodiversity research strategy.Sybille van den Hove & Martin Sharman - 2006 - In Ângela Guimarães Pereira, Sofia Guedes Vaz & Sylvia S. Tognetti (eds.), Interfaces between science and society. Sheffield, UK: Greenleaf.
     
    Export citation  
     
    Bookmark  
  38.  24
    Two Touchstones for Philosophy: Naive Experience and Common Sense.René van Woudenberg - 2020 - Philosophia Reformata 85 (1):20-42.
    In this paper I explore, in sections 2 and 3, respectively, Herman Dooyeweerd’s notion of naive experience and the notion of common sense as found in the writings of Thomas Reid and G. E. Moore. I argue in section 4 that naive experience and common sense are assigned a structurally similar functional role by their advocates—viz., the role of touchstone for philosophy. In the final section I stage a conversation between Dooyeweerd and Reid about the touchstones they adopt.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  13
    Semiotics of the user interface.René Jorna & Barend van Heusden - 1996 - Semiotica 109 (3-4):237-250.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  12
    De Rechtsvraag der Vhristenvervolgingen in het Romeinsche Rijk omstreeks het jaar 200.J. N. Bakhuizen van den Brink - 1946 - HTS Theological Studies 3 (3/4).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  20
    Mag ik uw genen even patenteren?Henk van den Belt - 2004 - Krisis 2004 (2):22-37.
    In Het kapitaal beschreef Karl Marx in uiterst schrille kleuren de voorgeschiedenis van de kapitalistische productiewijze. Het was een langdurig proces dat zich over eeuwen uitstrekte en waarbij kleine boeren op gewelddadige wijze van hun primaire productiemiddel, de grond, werden gescheiden en aldus in 'vrije' loonarbeiders veranderd. De kern van dit proces was de privatisering van de meent of commons, de traditioneel voor gemeenschappelijk gebruik bestemde grond.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  32
    Ludwik Fleck and the causative agent of syphilis: Sociology or pathology of science? A rejoinder to Jean Lindenmann.Henk van den Belt - 2002 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 33 (4):733-750.
    In 1905 two different microbes were proposed to fill the vacant role of etiologic agent for syphilis, one, the Cytorrhyctes luis, by John Siegel, the other, Spirochaeta pallida, by Fritz Schaudinn. After gathering and reviewing the evidence the majority of medical scientists decided in favor of Schaudinn's candidate. In a previous issue Jean Lindenmann challenged Ludwik Fleck's suggestion that under suitable social conditions Siegel's candidate could just as well have won acceptance by the scientific community (). To refute this counterfactual (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Masaryk a Korsgaardová o Bohu a morálním závazku: k morálnímu argumentu pro existenci Boha.Ton van den Beld - 2000 - Filosoficky Casopis 48:257-270.
    [Masaryk and Korsgaard on God and Moral Obligation: Toward a Moral Argument for the Existence of God].
    No categories
     
    Export citation  
     
    Bookmark  
  44.  7
    Vrijheid gelijkheid broederschap: oude waarden in nieuwe tijden.Maarten van den Heuvel - 2014 - Amsterdam: Boom.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  34
    Thomas Reid on Memory.René van Woudenberg - 1999 - Journal of the History of Philosophy 37 (1):117-133.
    In lieu of an abstract, here is a brief excerpt of the content:Thomas Reid on MemoryRené van Woudenbergthis paper is a discussion of Thomas Reid’s views on memory as an “avenue of knowledge.” Part 1 deals with various remarks Reid makes concerning memory, knowledge, and belief which he holds to be “obvious and certain.” Part contains a more detailed discussion of Reid’s thesis that “memory is unaccountable.” Part 3 inquires how Reid’s critique of the Way of Ideas fits with his (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  53
    Computer Ethics and Moral Methodology.Jeroen Van Den Hoven - 1997 - Metaphilosophy 28 (3):234-248.
    In computer ethics, as in other branches of applied ethics, the problem of the justification of moral judgment is still unresolved. I argue that the method which is referred to as “The Method of Wide Reflective Equilibrium” (WRE) offers the best solution to it. It does not fall victim to the false dilemma of having to choose either case‐based particularist or principle‐based universalist approaches to the problem of moral justification. I claim that WRE also provides the best model of practical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  47. The Essentialism of Early Modern Psychiatric Nosology.Hein van den Berg - 2023 - History and Philosophy of the Life Sciences 45 (2):1-25.
    Are psychiatric disorders natural kinds? This question has received a lot of attention within present-day philosophy of psychiatry, where many authors debate the ontology and nature of mental disorders. Similarly, historians of psychiatry, dating back to Foucault, have debated whether psychiatric researchers conceived of mental disorders as natural kinds or not. However, historians of psychiatry have paid little to no attention to the influence of (a) theories within logic, and (b) theories within metaphysics on psychiatric accounts of proper method, and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  10
    Metabletica en wetenschap: kritische bestandsopname van het werk van J.H. van den Berg.J. H. van den Berg & J. van Belzen (eds.) - 1997 - Rotterdam: Erasmus Publishing.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  20
    Synthetic cells and organelles: compartmentalization strategies.Renée Roodbeen & Jan C. M. van Hest - 2009 - Bioessays 31 (12):1299-1308.
    The recent development of RNA replicating protocells and capsules that enclose complex biosynthetic cascade reactions are encouraging signs that we are gradually getting better at mastering the complexity of biological systems. The road to truly cellular compartments is still very long, but concrete progress is being made. Compartmentalization is a crucial natural methodology to enable control over biological processes occurring within the living cell. In fact, compartmentalization has been considered by some theories to be instrumental in the creation of life. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  49
    Models of non-well-founded sets via an indexed final coalgebra theorem.Benno van Den Berg & Federico de Marchi - 2007 - Journal of Symbolic Logic 72 (3):767-791.
    The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on finitely complete and cocomplete categories. As an instance of this result, we build the final coalgebra for the powerclass functor, in the context of a Heyting pretopos with a class of small maps. This is then proved to provide models for various non-well-founded set theories, depending on the chosen axiomatisation (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000